Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
📊Static Analysis
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·20h
🔓Decompilation
Flag this post
Rouille – Rust Programming, in French
🦀Rust Borrowing
Flag this post
Down with template (or not)!
cedardb.com·20h
🎯Gradual Typing
Flag this post
OpenBSD proposes BPF socket filtering to enhance daemon security
discoverbsd.com·11h
🛡️eBPF Security
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.com·1d
🔧RISC-V Assembler
Flag this post
Ajla Tutorial
💧Liquid Types
Flag this post
Reflection for Aggregates (2020)
🔒Type Safety
Flag this post
Hello World in C Without Linking in Libraries
hackaday.com·1d
🔗Assembly Linking
Flag this post
Void Linux Gets Runkit, a Friendly GUI for Managing runit Services
linuxiac.com·1h
🛠System administration
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🦀Rust Borrowing
Flag this post
Oops, My UUIDs Collided
🧪Binary Fuzzing
Flag this post
Nim 2.2.6
🌳Incremental Parsing
Flag this post
Rdza – Rust Programming, in Polish
🦀Rust Macros
Flag this post
Rust 1.91.0 released
lwn.net·22h
🦀Embedded Rust
Flag this post
consult + org-db-v3: Approximate search of my sketches using text, and a multi-source consult command for approximately searching sketches and blog posts
sachachua.com·1d
📄PostScript
Flag this post
An introduction to OCI Containers on FreeBSD
freebsdfoundation.org·2h
📦METS Containers
Flag this post
Building Up And Sanding Down
endler.dev·20h
🔩Systems Programming
Flag this post
Arranging the PIC Parterre
rastamouse.me·3d
🌐WASI
Flag this post
Loading...Loading more...